A maximal entropy stochastic process for a timed automaton
نویسندگان
چکیده
منابع مشابه
A Maximal Entropy Stochastic Process for a Timed Automaton,
Several ways of assigning probabilities to runs of timed automata (TA) have been proposed recently. When only the TA is given, a relevant question is to design a probability distribution which represents in the best possible way the runs of the TA. This question does not seem to have been studied yet. We give an answer to it using a maximal entropy approach. We introduce our variant of stochast...
متن کاملA maximal entropy stochastic process for a timed automaton (extended version)
Several ways of assigning probabilities to runs of timed automata (TA) have been proposed recently. When only the TA is given, a relevant question is to design a probability distribution which represents in the best possible way the runs of the TA. This question does not seem to have been studied yet. We give an answer to it using a maximal entropy approach. We introduce our variant of stochast...
متن کاملLehrstuhl Ff Ur Informatik Vii (rechnerarchitektur Und Verkehrstheorie) Observational Congruence in a Stochastic Timed Calculus with Maximal Progress Observational Congruence in a Stochastic Timed Calculus with Maximal Progress
During the last decade, CCS has been extended in diierent directions, among them priority and real time. One of the most satisfactory results for CCS is Milner's complete proof system for observational congruence 31]. Observational congruence is fair in the sense that it is possible to escape divergence, reeected by the axiom recX:(:X + P) = recX:::P. In this paper we discuss observational cong...
متن کاملGenerating Test Cases for a Timed I/O Automaton Model
Recently various real-time communication protocols have been proposed. In this paper, first, we propose a timed I/O automaton model so that we can simply specify such real-time protocols. The proposed model can handle not only time but also data values. Then, we propose a conformance testing method for the model. In order to trace a test sequence (I/O sequence) on the timed I/O automaton model,...
متن کاملStochastic Cellular Automaton for the Coagulation - Fission - Process
We introduce an efficient cellular automaton for the coagulation-fission process with diffusion 2A → 3A, 2A → A in arbitrary dimensions. As the well-known Domany-Kinzel model, it is defined on a tilted hypercubic lattice and evolves by parallel updates. The model exhibits a non-equilibrium phase transition from an active into an absorbing phase and its critical properties are expected to be of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2015
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.12.006